Effectivity of Regular Spaces
نویسنده
چکیده
General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of effective domain representations to get an effectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead, a new approach to introducing effectivity to T3 spaces is given. The construction uses effective retractions on effective Scott–Ershov domains. The benefit of the approach is that the numbering of the basis and the numbering of the elements are derived at once.
منابع مشابه
On rarely generalized regular fuzzy continuous functions in fuzzy topological spaces
In this paper, we introduce the concept of rarely generalized regular fuzzy continuous functions in the sense of A.P. Sostak's and Ramadan is introduced. Some interesting properties and characterizations of them are investigated. Also, some applications to fuzzy compact spaces are established.
متن کاملThe Urysohn, completely Hausdorff and completely regular axioms in $L$-fuzzy topological spaces
In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.
متن کامل$r$-fuzzy regular semi open sets in smooth topological spaces
In this paper, we introduce and study the concept of $r$-fuzzy regular semi open (closed) sets in smooth topological spaces. By using $r$-fuzzy regular semi open (closed) sets, we define a new fuzzy closure operator namely $r$-fuzzy regular semi interior (closure) operator. Also, we introduce fuzzy regular semi continuous and fuzzy regular semi irresolute mappings. Moreover, we investigate the ...
متن کاملFuzzy $e$-regular spaces and strongly $e$-irresolute mappings
The aim of this paper is to introduce fuzzy ($e$, almost) $e^{*}$-regular spaces in $check{S}$ostak's fuzzy topological spaces. Using the $r$-fuzzy $e$-closed sets, we define $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points and their properties. Moreover, we investigate the relations among $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points, $r$-fuzzy ($e$, almost) $e^{*}$-regular spaces a...
متن کاملA Relationship between Equilogical Spaces and Type Two Effectivity
In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...
متن کامل